(SETQ IBASE (ADD1 7)) 


(DEFPROP ALLFNS 
 (NIL BLOCK NTH CYMBAL) 
VALUE)

(DEFPROP BLOCK 
 (LAMBDA(X Y Z)
  (PROG (V F E)
	(SETQ V (CYMBAL 10))
	(SETQ F (CYMBAL 6))
	(SETQ E (CYMBAL 14))
	(SET (NTH 1 V) (LIST X Y Z))
	(SET (NTH 2 V) (LIST X Y (MINUS Z)))
	(SET (NTH 3 V) (LIST X (MINUS Y) Z))
	(SET (NTH 4 V) (LIST X (MINUS Y) (MINUS Z)))
	(SET (NTH 5 V) (LIST (MINUS X) Y Z))
	(SET (NTH 6 V) (LIST (MINUS X) Y (MINUS Z)))
	(SET (NTH 7 V) (LIST (MINUS X) (MINUS Y) Z))
	(SET (NTH 10 V) (LIST (MINUS X) (MINUS Y) (MINUS Z)))
	(PUTPROP (NTH 1 E) (CONS (NTH 3 V) (NTH 4 V)) (QUOTE POINTS))
	(PUTPROP (NTH 2 E) (CONS (NTH 3 V) (NTH 2 V)) (QUOTE POINTS))
	(PUTPROP (NTH 3 E) (CONS (NTH 1 V) (NTH 2 V)) (QUOTE POINTS))
	(PUTPROP (NTH 4 E) (CONS (NTH 1 V) (NTH 4 V)) (QUOTE POINTS))
	(PUTPROP (NTH 5 E) (CONS (NTH 4 V) (NTH 10 V)) (QUOTE POINTS))
	(PUTPROP (NTH 6 E) (CONS (NTH 3 V) (NTH 7 V)) (QUOTE POINTS))
	(PUTPROP (NTH 7 E) (CONS (NTH 2 V) (NTH 6 V)) (QUOTE POINTS))
	(PUTPROP (NTH 10 E) (CONS (NTH 1 V) (NTH 5 V)) (QUOTE POINTS))
	(PUTPROP (NTH 11 E) (CONS (NTH 5 V) (NTH 10 V)) (QUOTE POINTS))
	(PUTPROP (NTH 12 E) (CONS (NTH 7 V) (NTH 10 V)) (QUOTE POINTS))
	(PUTPROP (NTH 13 E) (CONS (NTH 6 V) (NTH 7 V)) (QUOTE POINTS))
	(PUTPROP (NTH 14 E) (CONS (NTH 5 V) (NTH 6 V)) (QUOTE POINTS))
	(PUTPROP (NTH 1 F) (LIST (NTH 5 V) (NTH 6 V) (NTH 7 V) (NTH 10 V)) (QUOTE CORNERS))
	(PUTPROP (NTH 2 F) (LIST (NTH 3 V) (NTH 4 V) (NTH 10 V) (NTH 7 V)) (QUOTE CORNERS))
	(PUTPROP (NTH 3 F) (LIST (NTH 1 V) (NTH 2 V) (NTH 3 V) (NTH 4 V)) (QUOTE CORNERS))
	(PUTPROP (NTH 4 F) (LIST (NTH 1 V) (NTH 4 V) (NTH 10 V) (NTH 5 V)) (QUOTE CORNERS))
	(PUTPROP (NTH 5 F) (LIST (NTH 1 V) (NTH 2 V) (NTH 6 V) (NTH 5 V)) (QUOTE CORNERS))
	(PUTPROP (NTH 6 F) (LIST (NTH 2 V) (NTH 3 V) (NTH 7 V) (NTH 6 V)) (QUOTE CORNERS))
	(PUTPROP (NTH 1 F) (LIST (NTH 11 E) (NTH 12 E) (NTH 13 E) (NTH 14 E)) (QUOTE EDGES))
	(PUTPROP (NTH 2 F) (LIST (NTH 1 E) (NTH 5 E) (NTH 12 E) (NTH 6 E)) (QUOTE EDGES))
	(PUTPROP (NTH 3 F) (LIST (NTH 1 E) (NTH 2 E) (NTH 3 E) (NTH 4.0)) (QUOTE EDGES))
	(PUTPROP (NTH 4 F) (LIST (NTH 4 E) (NTH 5 E) (NTH 11 E) (NTH 10.0)) (QUOTE EDGES))
	(PUTPROP (NTH 5 F) (LIST (NTH 3 E) (NTH 10 E) (NTH 14 E) (NTH 7 E)) (QUOTE EDGES))
	(PUTPROP (NTH 6 F) (LIST (NTH 2 E) (NTH 6 E) (NTH 13 E) (NTH 7 E)) (QUOTE EDGES))
	(RETURN F))) 
EXPR)

(DEFPROP NTH 
 (LAMBDA (N L) (COND ((EQ 1 N) (CAR L)) (T (NTH (SUB1 N) (CDR L))))) 
EXPR)

(DEFPROP CYMBAL 
 (LAMBDA (N) (COND ((ZEROP N) NIL) (T (CONS (INTERN (GENSYM)) (CYMBAL (SUB1 N)))))) 
EXPR)